Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
151	Efficient Semantic Deduction and Approximate Matching over Compact Parse Forests Roy Bar-Haim1 , Jonathan Berant2 , Ido Dagan1 ,Iddo Greental3 , Shachar Mirkin1 , Eyal Shnarch1 and Idan Szpektor1 1 Computer Science Depar Add to Reading List Source URL: www-nlp.stanford.edu Language: English - Date: 2014-07-26 23:52:02 Science Computational linguistics Parse tree Syntax Valency Phrase structure rules WordNet Inference Tree Linguistics Knowledge representation Logic
152	ROBOMIND ACADEMY REGISTRATION st In the RoboMind Academy you train your Computational Thinking skills: important knowledge in the 21 century. By programming a virtual robot, you learn about logic, automation, and techniq Add to Reading List Source URL: www.robomindacademy.com Language: English - Date: 2015-06-05 09:18:47 Webmail World Wide Web Password Gmail Yahoo! Mail Password notification email Email Computing Internet
153	Sober Spaces and Continuations Paul Taylor August 5, 2003 Abstract A topological space is sober if it has exactly the points that are dictated by its open sets. We explain the analogy with the way in which computational Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 13:02:39 Functions and mappings Theoretical computer science Formal methods Models of computation Model theory Symbol Lambda calculus Interpretation Primitive recursive function Mathematics Mathematical logic Computability theory
154	ANNUAL REPORT \| 2014 UMIT Research Lab About UMIT UMIT Research Lab is a strategic initiative in computational Add to Reading List Source URL: www.org.umu.se Language: English - Date: 2015-03-17 11:20:58 Operations research Simulation Computer simulation Science Logic simulation Algoryx Simulation AB Granular material Knowledge Electronics Virtual reality Military technology Modeling and simulation
155	Arithmetic Practice that Promotes Conceptual Understanding and Computational Fluency Nicole M. McNeil, April E. Dunwiddie, Heather Brletic-Shipley, Lori A. Petersen and Matthew H. Gibson, University of Notre Dame Abstrac Add to Reading List Source URL: www3.nd.edu Language: English - Date: 2009-02-06 17:32:24 Equation Consistency Number Mathematics Group theory Logic
156	Learning to Disambiguate Natural Language Using World Knowledge Jason Weston∗, Ronan Collobert NEC Labs, Princeton, USA {jasonw,collober}@nec-labs.com Add to Reading List Source URL: ronan.collobert.com Language: English - Date: 2010-06-21 13:15:59 Semantics Computational linguistics Reasoning Theoretical computer science Word-sense disambiguation Algorithm Function Natural language processing Unification Logic Science Linguistics
157	The Fundamental Computational Biases of Human Cognition: Heuristics that (Sometimes) Impair Decision Making and Problem Solving Keith E. Stanovich University of Toronto Stanovich, K. EThe fundamental computati Add to Reading List Source URL: www.keithstanovich.com Language: English - Date: 2012-05-21 17:15:25 Reasoning Critical thinking Arguments Problem solving Epistemology Inductive reasoning Deductive reasoning Reason Keith Stanovich Science Knowledge Logic
158	arXiv:1401.8269v1 [cs.CL] 31 Jan 2014 Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-02-02 21:22:45 Lexical semantics Semantics Logical consequence Computational linguistics Natural language processing Entailment WordNet Hyponymy Textual entailment Linguistics Logic Science
159	Texas A&M University Department of Mathematics April 2, 2006 Dear Student, Do you think math is fun? Come join our Summer Educational Enrichment in Math (SEE Math) program this summer and "SEE" how much fun mathematics c Add to Reading List Source URL: see-math.math.tamu.edu Language: English - Date: 2006-04-06 15:24:22 Mathematical logic Nothing Vacuous truth Veracity Randomized rounding Mathematics Polynomials Computational problems
160	Linking Hanging Chain Models to Fabrication Axel Kilian, Ph.D. Candidate in Computation, Department of Architecture, School of Architecture and Planning, Massachusetts Institute of Technology, Cambridge, MA Abstract The Add to Reading List Source URL: www.designexplorer.net Language: English - Date: 2006-11-19 20:26:29 Analytic geometry Catenary Curves Exponentials Computational science Tensile structure Logic simulation Computer simulation General relativity Geometry Engineering Science

UPDATE